Time-Triggered Mixed-Critical Scheduler
نویسندگان
چکیده
Modern safety-critical systems, such as avionics, tend to be mixed-critical, because integration of different tasks with different assurance requirements can effectively reduce their costs. Scheduling is one of the main challenges of such systems. In this work we show that a generalization of the Time Triggered (TT) scheduling paradigm, Single Time Table per Mode (STTM) dominates other approaches like Fixed Priority or Fixed Priority per Mode (FPM). We also propose an algorithm to transform any FPM priority assignment to an equivalent set of STTM tables.
منابع مشابه
Time-Triggered Mixed-Critical Scheduler on Single- and Multi-processor Platforms (Revised Version)
Modern safety-critical systems, such as avionics, tend to be mixed-critical, because integration of different tasks with different assurance requirements can effectively reduce their costs in terms of hardware, at the risk, however to increase the costs for certification, in particular in the context of proving their schedulability. To simplify the certification costs such systems use Time Trig...
متن کاملLukas Sigrist Implementation and Evaluation of Mixed - Criticality Scheduling Algo - rithms for Multi - Core Systems
Mixed-criticality scheduling, which has attracted high interest in recent years, is also focusing increasingly towards multi-core platforms. Scheduling algorithms for such platforms need to be implemented in a framework to evaluate their runtime overhead on real systems. This thesis implements such a framework that supports the implementation of multi-core scheduling mixedcriticality schedulers...
متن کاملFEAS: A full-time event aware scheduler for improving responsiveness
Due to the advances in software and hardware support for virtualisation, virtualisation technology has been adapted for server consolidation and desktop virtualisation to save on capital and operating costs. The basic abstraction layer of software that virtualises hardware resources and manages the execution of virtual machines is called virtual machine monitor (VMM). A critical part of VMM is ...
متن کاملApplying the Scheduler Test Case Technique to Verify Scheduler Implementations in Multi-Processor Time-Triggered Embedded Systems
We have recently introduced a technique called “scheduler test case” (STC) as a practical means for bridging the gap between scheduling algorithms and scheduler implementations in time-triggered embedded systems. The technique was originally applied to single-processor embedded designs employing “time-triggered co-operative” (TTC) architectures aimed at highly predictable real-time systems. It ...
متن کاملAutomating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems
Predictable system behaviour is a necessary (but not sufficient) condition when creating safety-critical and safety-related embedded systems. At the heart of such systems there is usually a form of scheduler: the use of time-triggered schedulers is of particular concern in this paper. It has been demonstrated in previous studies that the problem of determining the task parameters for such a sch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013